Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
831	The High Performance Solution of Sparse Linear Systems and its application to large 3D Electromagnetic Problems David GOUDIN CEA/DAM/CESTA Add to Reading List Source URL: vecpar.fe.up.pt Language: English - Date: 2010-07-02 10:34:01 Applied mathematics Numerical analysis Theoretical computer science Computational science Fast multipole method Preconditioner Solver Mathematics Numerical linear algebra Numerical software
832	Intelligent Mathematical Programming Software: Past, Present, and Future* (* This article appears concurrently in the Spring issue of the INFORMS Computing Society Newsletter) JOHN W. CHINNECK HARVEY J. GREENBERG Add to Reading List Source URL: www.cors.ca Language: English - Date: 2014-12-10 12:15:05 Scientific modeling Computer algebra systems Operations research Mathematical modeling Mathematical optimization Mathematical model Modeling language Algebraic modeling language Economic model Science Mathematics Ethology
833	Deriving Predicate Statistics in Datalog Senlin Liang Michael Kifer Department of Computer Science Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-05-12 21:44:12 Matrix theory Matrix Matrices Algebra Linear algebra Mathematics
834	Algebra 1 CCSS Regents Exam 0115 www.jmap.org 0115a1 Common Core State Standards 1 The owner of a small computer repair business has one employee, who is paid an hourly rate of $22. Add to Reading List Source URL: www.jmap.org Language: English - Date: 2015-03-07 16:35:57 Completing the square Polynomial Linear equation Exponential function Simultaneous equations Mathematics Elementary algebra Equations
835	Copyright Notice and Limitations of Use © 2007 by Laura Candler. All rights reserved. Your individual purchase entitles you to reproduce these pages as needed for your own classroom use. You may also save a backup file Add to Reading List Source URL: www.lauracandler.com Language: English - Date: 2012-03-31 16:01:07 FO Finite model theory IP Clifford algebras Coding theory Elliptic curves Geometric algebra Factorization of polynomials over a finite field and irreducibility tests Mathematics Theoretical computer science Abstract algebra
836	Mobile Robot Localisation using Active Vision Proc 5th European Conference on Computer Vision, Freiburg, Germany, 1998pp809–825 (Springer LNCS Vol 1407, Volume II) Andrew J Davison and David W Murray Department of Engi Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2005-08-22 10:45:34 Abstract algebra Euclidean vector Linear algebra Vector calculus Latin script Latin-derived alphabet World glyph set Mathematics Character encoding Physics
837	Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability Yichen Xie and Alex Aiken Stanford University This article presents Saturn, a general framework for building precise and scalable static error Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-08-21 19:57:13 Formal methods Boolean algebra Symbol Entailment Interpretation Boolean satisfiability problem Logic Theoretical computer science Model theory
838	UCHPC – UnConventional High Performance Computing for Finite Element Simulations Stefan Turek, Dominik G¨ oddeke, Christian Becker, Sven H.M. Buijssen, Hilmar Wobker Applied Mathematics, Dortmund University of Technol Add to Reading List Source URL: www.mathematik.tu-dortmund.de Language: English - Date: 2010-02-28 15:48:21 Parallel computing Numerical analysis Partial differential equations Numerical linear algebra Computer architecture Multigrid method Lis Computational fluid dynamics Multi-core processor Computing Concurrent computing Software
839	IEEE J-STSP SPECIAL ISSUE ON STATISTICAL LEARNING METHODS FOR SPEECH AND LANGUAGE PROCESSING 1 Speech Recognition with Flat Direct Models Patrick Nguyen, Member, IEEE, Georg Heigold, and Geoffrey Zweig, Senior Member, I Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-02-15 10:28:34 Markov models Abstract algebra Automatic identification and data capture Computer accessibility Speech recognition Hidden Markov model Mutual information Modal logic Exponentiation Mathematics Logic Computational linguistics
840	Data Linking What is data linking? Why is data linking important? This involves identifying and combining information from corresponding records on each of the different source Add to Reading List Source URL: nss.gov.au Language: English - Date: 2014-07-17 21:43:55 Linked data Information Data Computing Data management Computer algebra Record linkage

UPDATE